Visually Encoding Program Test Information to Find Faults in Software
نویسندگان
چکیده
Large test suites are frequently used to evaluate the correctness of software systems and to locate errors. Unfortunately, this process can generate a huge amount of data that is difficult to interpret manually. We have created a system called TARANTULA that visually encodes test data to help find program errors. The system uses a principled color mapping to represent how particular source lines act in passed and failed tests. It also provides a flexible user interface for examining different perspectives that show the effects on source regions of test suites ranging from individual tests, to important subsets such as the set of failed tests, to the entire test suite.
منابع مشابه
Technical Note: Visually Encoding Program Test Information to Find Faults in Software
Large test suites are frequently used to evaluate software systems and to locate errors. Unfortunately, this process can generate a huge amount of data that is difficult to interpret manually. We have created a system, TARANTULA, that visually encodes test data to help find program errors. The system uses a principled color mapping to represent source lines in passed and failed tests. It also p...
متن کاملMAGIC: Path-Guided Concolic Testing
Concolic testing has been proposed as an effective technique to automatically test software. The goal of concolic testing is to generate test inputs to find faults by executing as many paths of a program as possible. However, due to the large state space, it is unrealistic to consider all of the program paths for test input generation. Rather than exploring the paths based on the structure of t...
متن کاملVerification-based software-fault detection
Software is used in many safetyand security-critical systems. Software development is, however, an error-prone task where a software developer tries to precisely formalize in a programming language their imprecise ideas about a program. Formal methods help to reduce this problem. These methods add another layer to the software development allowing to formalize and to check desired properties of...
متن کاملMutation-optimised subdomains for test data generation and program analysis
Software testing is an important part of the development process it consumes a large proportion of the labour resources required to produce a working program. Yet it is not usually possible to show that a program is completely free from faults. Instead, techniques are applied to assess the effectiveness of software testing; they provide confidence in its adequacy and act as a benchmark for its ...
متن کاملSubdomain-based test data generation
Considerable effort is required to test software thoroughly. Even with automated test data generation tools, it is still necessary to evaluate the output of each test case and identify unexpected results. Manual effort can be reduced by restricting the range of inputs testers need to consider to regions that are more likely to reveal faults, thus reducing the number of test cases overall, and t...
متن کامل